Ed Lucas - PDFSEARCH.IO - Document Search Engine

Ed Lucas
Results: 61

#	Item
31	Monoidal Theories and Graph Rewriting in Quantum Computing Aleks Kissinger Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2009-11-09 13:01:36
32	Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon and Alan Smaill and Alan Bundy School of Informatics, University of Edinburgh, UK {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk Abstract Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-10-02 09:04:19
33	A Proof Planning Framework For Isabelle Lucas Dixon NI VER Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-03-27 10:16:29 Automated theorem proving Mathematics Mathematical logic Logic IsaPlanner Rippling Mathematical proof Mathematical induction Proof assistant Isabelle Algorithm Peano axioms
34	Graph Rewriting for Classical Structures University of Edinburgh Edinburgh, Scotland, UK Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2008-09-12 14:05:40
35	IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-02-25 13:12:10
36	Basic Elements of Logical Graphs Lucas Dixon CAM-CAD 2009 Abstract We considers how a particular kind of graph corresponds to multiplicative intuitionistic linear logic formula. The main feature of the graphical notation Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-11-11 17:57:37
37	Reflecting Data: Formally Correct Results for Efficient (and Dirty) Algorithms Lucas Dixon University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-06-14 14:43:10
38	UITP 2005 Preliminary Version Interactive and Hierarchical Tracing of Techniques in IsaPlanner Lucas Dixon 1,2 Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-15 09:19:07 Automated theorem proving IsaPlanner Rippling Mathematical proof Theorem KeY Proof assistant Direct proof Mathematical logic Mathematical induction
39	A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-01 07:28:34 Automated theorem proving Logic Theoretical computer science Mathematical logic Isabelle IsaPlanner Proof assistant Mathematical proof Automated proof checking Rippling Theorem Proof
40	Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon and Alan Smaill and Alan Bundy School of Informatics, University of Edinburgh, UK {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk Abstract Add to Reading List Source URL: www-vvps09.imag.fr Language: English - Date: 2009-08-25 03:10:48